提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本讲目录
◎学习目标
- 理解 Sylow 定理在群论中的地位，以及它如何为「有限单群分类」提供关键工具；
- 掌握拉格朗日定理（子群的阶整除群的阶）及其逆命题并不总是成立的事实；
- 准确理解 p-Sylow 子群的定义：阶等于 \(|G|\) 中素因子 \(p\) 的最高幂次；
- 理解并陈述 Sylow 第二定理（所有 p-Sylow 子群共轭）与第三定理（\(n_p \equiv 1 \pmod p\) 且 \(n_p \mid m\)）；
- 理解关键引理（有限交换群中若阶含素因子 \(p\)，则必存在 \(p\) 阶元素）的证明思路——归纳法；
- 理解类方程（轨道分解）在 Sylow 第一定理证明中的核心作用；
- 会用 Sylow 定理判断某个有限群是否存在特定阶的子群，并估算 p-Sylow 子群的个数 \(n_p\)。
0引言：拉格朗日定理的逆命题？ ⏱ 00:00
Sylow 定理是群论中极其重要的定理，是分析有限群特殊子群的核心工具，在有限单群分类中扮演关键角色。本讲先回顾拉格朗日定理，再引出 Sylow 定理解决的问题。
回顾 · 拉格朗日定理 ⏱ 00:37
设 \(G\) 为有限群，\(H\) 为 \(G\) 的子群。则
\[ |H| \;\text{整除}\; |G| \]
即子群的阶一定是群 \(G\) 的阶的因子。
拉格朗日定理的例子 ⏱ 00:57
例 · \(S_4\) 的子群阶的可能取值
置换群 \(S_4\) 的阶为 \(|S_4| = 4! = 4 \times 3 \times 2 \times 1 = 24\)。若 \(H \le S_4\)，由拉格朗日定理，\(|H|\) 只能是 \(24\) 的因子，即
\[ |H| \in \{1, 2, 3, 4, 6, 8, 12, 24\}. \]
拉格朗日定理的逆命题并不总成立 ⏱ 01:44
关键问题
反过来：若 \(d\) 是 \(|G|\) 的因子，是否一定存在 \(d\) 阶子群？拉格朗日定理没有回答这个问题，而且答案一般是否定的。Sylow 定理给出了部分肯定回答——对于某些特定阶（素幂阶）的子群，它们一定存在。
正是这一「逆命题」的动机，引出了下面的 Sylow 定理。
1Sylow 定理概述 ⏱ 02:28
Sylow 定理涉及三条结论，下面先给出非严格的直观陈述，第 4 节会给出第一定理的严格证明。此处约定记号：
- \(\mathrm{Syl}_p(G)\)：群 \(G\) 的所有 \(p\)-Sylow 子群构成的集合；
- \(n_p\)：\(G\) 的 \(p\)-Sylow 子群的个数，即 \(n_p = |\mathrm{Syl}_p(G)|\)。
1.1 三条定理的内容 ⏱ 03:55
Sylow 第一定理 ⏱ 02:18
设 \(G\) 为有限群，\(p\) 为素数。若 \(p^{k} \mid |G|\)（即 \(p^{k}\) 是 \(|G|\) 的因子），则 \(G\) 中一定存在一个阶为 \(p^{k}\) 的子群。
Sylow 第二定理 ⏱ 03:28
\(G\) 的任意两个 \(p\)-Sylow 子群都是共轭的。
Sylow 第三定理 ⏱ 05:16
把 \(|G|\) 写成 \(|G| = p^{m}\cdot m'\)，其中 \(m'\) 不含 \(p\) 因子（即 \(\gcd(p, m') = 1\)）。则 \(p\)-Sylow 子群的个数 \(n_p\) 满足
\[ n_p \mid m', \qquad n_p \equiv 1 \pmod p. \]
其中 \(m' = |G| / p^{m}\) 是去掉 \(p\) 的最高幂后的剩余部分。
第一定理的「包含」结论 ⏱ 04:45
任何一个 \(p^{k}\) 阶子群都包含在某个 \(p\)-Sylow 子群中（即 \(p\)-Sylow 子群是极大 \(p\)-幂阶子群）。
1.2 例：24 阶群 ⏱ 03:25
例 · 对 \(|G|=24=2^{3}\times 3\) 应用 Sylow 定理
- 由第一定理，\(G\) 一定存在 \(2\) 阶、\(4\) 阶、\(8\) 阶子群，以及 \(3\) 阶子群。
- \(|G|=24=2^{3}\cdot 3\)。若考虑 2-Sylow 子群，其阶应为 \(2\) 的最高幂 \(2^{3}=8\)，即 \(8\) 阶子群。
- 若考虑 3-Sylow 子群，其阶应为 \(3\) 的最高幂 \(3^{1}=3\)，即 \(3\) 阶子群。
- 由第三定理：\(n_{2} \mid 3\) 且 \(n_{2}\equiv 1 \pmod 2\)，故 \(n_{2}\in\{1,3\}\)；\(n_{3}\mid 8\) 且 \(n_{3}\equiv 1 \pmod 3\)，故 \(n_{3}\in\{1,4\}\)。
2p-Sylow 子群的定义 ⏱ 07:20
定义 · p-Sylow 子群
设 \(G\) 为有限群，\(p\) 为素数。若 \(p^{m}\) 是 \(|G|\) 的因子（即 \(|G|\) 的素因子分解中 \(p\) 出现的最高次方为 \(m\)，且 \(p^{m+1}\nmid |G|\)），则 \(G\) 中任意一个阶为 \(p^{m}\) 的子群称为 \(G\) 的一个 \(p\)-Sylow 子群。
简言之：\(p\)-Sylow 子群的阶就是 \(|G|\) 的素因子分解中，素数 \(p\) 所能出现的最高幂次。下面用例子说明。
2.1 例：12 阶群 ⏱ 08:07
例 · \(|G|=12\)
把 \(12\) 分解为素因子：\(12 = 3 \times 4 = 2^{2}\times 3\)。
- 2-Sylow 子群：\(2\) 的最高幂为 \(2^{2}=4\)，故 2-Sylow 子群是 \(4\) 阶子群；
- 3-Sylow 子群：\(3\) 的最高幂为 \(3^{1}=3\)，故 3-Sylow 子群是 \(3\) 阶子群。
2.2 例：56 阶群 ⏱ 09:22
例 · \(|G|=56\)
把 \(56\) 分解为素因子：\(56 = 7 \times 8 = 2^{3}\times 7\)。
- 2-Sylow 子群：\(2\) 的最高幂为 \(2^{3}=8\)，故 2-Sylow 子群是 \(8\) 阶子群；
- 7-Sylow 子群：\(7\) 的最高幂为 \(7^{1}=7\)，故 7-Sylow 子群是 \(7\) 阶子群。
注意 · p-Sylow 子群与群本身有关 ⏱ 10:14
同样是「2-Sylow 子群」，在不同群中阶可能不同：对 \(|G|=12\) 的群，2-Sylow 子群是 \(4\) 阶；对 \(|G|=56\) 的群，2-Sylow 子群是 \(8\) 阶。取法取决于 \(|G|\) 中 \(2\) 的最高幂次。
3关键引理与引理结论 ⏱ 10:49
在给出 Sylow 定理的结论之前，先证明一个引理，它是后续证明 Sylow 定理所需的关键工具。
3.1 引理结论 ⏱ 11:14
引理 · 有限交换群中 p 阶元素的存在
设 \(G\) 为有限交换群，\(p\) 为素数。若 \(p\) 是 \(|G|\) 的素因子（即 \(p \mid |G|\)），则 \(G\) 中一定存在一个 \(p\) 阶元素（即阶恰为 \(p\) 的元素）。
条件限制 ⏱ 11:14
本引理要求 \(G\) 是交换群，且只需 \(|G|\) 含有一个素因子 \(p\)。证明采用对 \(|G|\) 的归纳法。
3.2 证明引理所需的辅助结论 ⏱ 11:33
辅助结论 · 元素幂的阶
设 \(G\) 为群，\(x\in G\) 且 \(|x|=n\)。则 \(x^{k}\) 的阶为
\[ |x^{k}| \;=\; \frac{n}{\gcd(n,\, k)}. \]
此结论不难得出，后续直接引用。
3.3 引理的证明（归纳法） ⏱ 12:26
用数学归纳法对 \(|G|\) 归纳。归纳假设：对阶严格小于 \(|G|\) 的有限交换群，结论均成立。取 \(G\) 中任意一个非单位元 \(a\)，分两种情况讨论 \(|a|\) 与 \(p\) 的关系：
情况 1 · \(\gcd(|a|,\, p)=p\)，即 \(p \mid |a|\)
若 \(p\) 是 \(|a|\) 的因子，则可写 \(|a| = p\cdot r\)（\(r\) 为正整数）。由辅助结论，\(a^{r}\) 的阶为
\[ |a^{r}| = \frac{|a|}{\gcd(|a|,\, r)} = \frac{p\, r}{\gcd(p\, r,\, r)} = \frac{p\, r}{r} = p. \]
故 \(a^{r}\) 就是一个 \(p\) 阶元素，证明完成（此情形无需归纳假设）。
情况 2 · \(\gcd(|a|,\, p)=1\)，即 \(p \nmid |a|\)
若 \(|a|\) 与 \(p\) 互素，则考虑商群 \(G/\langle a\rangle\)（由 \(a\) 生成的循环子群 \(\langle a\rangle\) 是正规子群，因为 \(G\) 为交换群——交换群中任何子群都是正规子群）：
- \(|G/\langle a\rangle| = \dfrac{|G|}{|\langle a\rangle|}\) 严格小于 \(|G|\)；
- 因 \(|a|\) 与 \(p\) 互素，分母 \(|\langle a\rangle|\) 不含 \(p\) 因子，故 \(p\mid |G/\langle a\rangle|\)；
- 对商群（仍为有限交换群，阶更小）应用归纳假设，存在 \(p\) 阶元素 \(\bar{v}\)；
- \(\bar{v}\) 在 \(G\) 中可写为 \(\bar{v} = G\) 中某元素 \(b\) 对应的陪集。设 \(|b|=s\)，由 \(|b^{s}|=p\) 的推导得 \(s = p\cdot t\)（\(t\) 为正整数）；
- 由辅助结论 \(|b^{t}| = \dfrac{|b|}{\gcd(|b|,\, t)} = \dfrac{p\, t}{t} = p\)，故 \(b^{t}\) 是 \(G\) 中的 \(p\) 阶元素。
引理证明细节展开（情况 2 的推导）
在情况 2 中，商群 \(G/\langle a\rangle\) 是有限交换群（交换群的商群仍交换），其阶严格小于 \(|G|\)，且 \(p\mid |G/\langle a\rangle|\)。
由归纳假设，商群中存在 \(p\) 阶元素，记为 \(\bar{v}\)。由于商群中元素是 \(a\) 生成的循环正规子群 \(\langle a\rangle\) 的陪集形式，可取 \(G\) 中某元素 \(b\) 使 \(\bar{v}\) 对应 \(b\langle a\rangle\)。设 \(|b|=s\)，则 \(b^{s}\langle a\rangle\) 是商群的单位元，即 \(b^{s}\in\langle a\rangle\)。
又因 \(\bar{v}\) 是 \(p\) 阶的，\(s\) 可写为 \(p\cdot t\)。由辅助结论：
\[ |b^{t}| = \frac{|b|}{\gcd(|b|,\, t)} = \frac{p\, t}{\gcd(p\, t,\, t)} = \frac{p\, t}{t} = p. \]
故 \(b^{t}\) 是 \(G\) 中阶为 \(p\) 的元素，证毕。
4Sylow 第一定理的证明 ⏱ 24:35
Sylow 第一定理：若有限群 \(G\) 的阶含有因子 \(p^{k}\)（\(p\) 为素数），则 \(G\) 中存在阶为 \(p^{k}\) 的子群。证明采用对 \(|G|\) 的归纳法。
4.1 类方程（轨道分解） ⏱ 27:15
工具 · 类方程（轨道分解方程）
考虑群 \(G\) 对其自身的共轭作用（或轨道分解）。把轨道中仅含一个元素的（即中心元素）放在一起，其余轨道单独列出，得类方程：
\[ |G| = |C| + \sum_{i} [G : C_{G}(y_{i})], \]
其中 \(C\) 为 \(G\) 的中心（与 \(G\) 中所有元素可交换的元素集合），\(C_{G}(y_{i})\) 为 \(y_{i}\) 在 \(G\) 中的中心化子（与 \(y_{i}\) 可交换的所有元素构成的子群），\([G : C_{G}(y_{i})]\) 是其指数。第二项中各 \(y_{i}\) 均不在中心中。
4.2 归纳证明 ⏱ 25:42
对 \(|G|\) 归纳。基础情形 \(|G|=1\)（平凡群）显然成立。归纳假设：对阶严格小于 \(|G|\) 的群，若其阶含素因子 \(p^{k}\)，则存在 \(p^{k}\) 阶子群。利用类方程分两种情况讨论 \(p\) 与中心 \(C\) 的阶的关系：
情况 1 · \(p \nmid |C|\)（\(p\) 不整除中心的阶）
- 既然 \(p\mid |G|\) 而 \(p\nmid|C|\)，则类方程中至少存在某项 \([G:C_{G}(y_{i_{0}})]\) 不被 \(p\) 整除；
- 由拉格朗日定理，\(|G| = |C_{G}(y_{i_{0}})|\cdot [G:C_{G}(y_{i_{0}})]\)；因 \(p^{k}\mid|G|\) 且指数部分不含 \(p\)，故 \(p^{k}\mid |C_{G}(y_{i_{0}})|\)；
- 因 \(y_{i_{0}}\) 不在中心中，其中心化子 \(C_{G}(y_{i_{0}})\) 严格小于 \(G\)，故可应用归纳假设，得 \(C_{G}(y_{i_{0}})\) 含 \(p^{k}\) 阶子群；
- 该子群也是 \(G\) 的子群，故 \(G\) 存在 \(p^{k}\) 阶子群，证毕。
情况 2 · \(p \mid |C|\)（\(p\) 整除中心的阶）
- \(C\) 是 \(G\) 的中心，本身是交换子群。由第 3 节引理，\(C\) 中存在 \(p\) 阶元素，记为 \(a\)；
- 由 \(a\) 生成的循环子群 \(\langle a\rangle\) 是 \(G\) 的正规子群（因 \(a\) 来自中心，与 \(G\) 中所有元素可交换）；
- 考虑商群 \(G/\langle a\rangle\)，其阶为 \(|G|/|\langle a\rangle| = |G|/p\)，因 \(p^{k}\mid|G|\)，故 \(p^{k-1}\mid |G/\langle a\rangle|\)，且 \(|G/\langle a\rangle|\) 严格小于 \(|G|\)；
- 对商群应用归纳假设，存在 \(p^{k-1}\) 阶子群，记为 \(\overline{H}\)；\(\langle a\rangle \subseteq H\)（\(H\) 为商群中子群的原像），由拉格朗日定理 \(|H| = |\langle a\rangle|\cdot [H:\langle a\rangle| = p \cdot p^{k-1} = p^{k}\)，故 \(H\) 是 \(G\) 的 \(p^{k}\) 阶子群，证毕。
两种情况都找到了 \(G\) 中阶为 \(p^{k}\) 的子群，归纳完成，Sylow 第一定理得证。
5第一定理的推论 ⏱ 37:24
推论 · p 阶元素的存在
取 \(k=1\)：设 \(G\) 为有限群，\(p\) 为素数。若 \(p\mid|G|\)，则 \(G\) 中一定存在一个 \(p\) 阶元素。
与引理的区别
第 3 节的引理要求 \(G\) 为有限交换群（用归纳法证明）；而本推论来自 Sylow 第一定理，适用于一般有限群（不要求交换）。引理是证明第一定理的工具，第一定理则给出了更强的结论。
例 · 用第一定理列举子群存在性
- 对 \(|G|=12\) 的群：\(12=2^{2}\cdot 3\)，一定存在 \(2\) 阶、\(4\) 阶、\(3\) 阶子群；
- 对 \(|G|=56\) 的群：\(56=2^{3}\cdot 7\)，一定存在 \(2\) 阶、\(4\) 阶、\(8\) 阶、\(7\) 阶子群。
★重点回顾
1
拉格朗日定理：\(|H|\mid|G|\)；其逆命题一般不成立，Sylow 定理给出部分肯定回答（素幂阶子群一定存在）。
2
p-Sylow 子群：阶为 \(|G|\) 中素因子 \(p\) 的最高幂 \(p^{m}\) 的子群；\(\mathrm{Syl}_p(G)\) 为其集合，\(n_p\) 为其个数。
3
Sylow 第一定理：若 \(p^{k}\mid|G|\)，则 \(G\) 存在 \(p^{k}\) 阶子群。
4
Sylow 第二定理：所有 \(p\)-Sylow 子群共轭；第三定理：\(n_p\mid m'\) 且 \(n_p\equiv 1\pmod p\)（\(m'=|G|/p^{m}\)）。
5
关键引理：有限交换群若阶含素因子 \(p\)，则存在 \(p\) 阶元素（归纳法证明，需用到「有限交换群中任何子群皆正规」）。
6
类方程（轨道分解）\(|G|=|C|+\sum_i [G:C_{G}(y_i)]\) 是证明 Sylow 第一定理的核心工具，\(C\) 为中心、\(C_{G}(y_i)\) 为中心化子。
7
辅助结论：\(|x^{k}| = n/\gcd(n,k)\)（\(|x|=n\)），贯穿引理与第一定理的证明。
⚠易错点提醒
常见错误
- 误认为拉格朗日定理的逆命题成立：子群阶必须整除群阶（正向成立），但群阶的任意因子不一定对应一个子群（逆向一般不成立）。
- p-Sylow 子群的阶搞错：p-Sylow 子群的阶是 \(|G|\) 中 \(p\) 的最高幂次，而非任意 \(p\) 的幂。如 \(|G|=12\) 时 2-Sylow 子群是 \(4\) 阶（不是 \(2\) 阶）。
- 混淆 \(n_p\) 的约束：第三定理中 \(n_p\mid m'\)（\(m'\) 是去掉 \(p\) 幂后剩余部分），且 \(n_p\equiv 1\pmod p\)，两者需同时满足才能缩小 \(n_p\) 的取值范围。
- 忽略引理的交换群条件：关键引理（有限交换群中存在 \(p\) 阶元素）的证明依赖「交换群中任何子群皆正规」这一性质，不能直接推广到一般群（一般群的 \(p\) 阶元素存在性由 Sylow 第一定理的推论给出）。
- 类方程中中心化子的角色：\([G:C_{G}(y_i)]\) 是 \(y_i\) 的轨道大小（共轭类大小），\(C_{G}(y_i)\) 是中心化子（不是共轭子群），两者不要混淆。
- 情况 2 中归纳假设的应用对象：在情况 2 中，归纳假设应用于商群 \(G/\langle a\rangle\)，其阶严格小于 \(|G|\)，且 \(p\mid|G/\langle a\rangle|\)，缺一不可。
✎自测与作业
- （基础）设 \(|G|=60\)，求 \(G\) 的 2-Sylow 子群、3-Sylow 子群、5-Sylow 子群各是什么阶的子群？
- （应用第一定理）设 \(G\) 为 \(|G|=48\) 的群，列出 \(G\) 中由 Sylow 第一定理保证存在的子群（列出所有 \(p^{k}\) 阶子群）。
- （应用第三定理）设 \(|G|=75=3\times 5^{2}\)，求 3-Sylow 子群的个数 \(n_{3}\) 的可能取值，以及 5-Sylow 子群的个数 \(n_{5}\) 的可能取值。
- （引理验证）设 \(G\) 为阶 \(15\) 的有限交换群，用第 3 节引理证明 \(G\) 中存在 \(3\) 阶元素和 \(5\) 阶元素。
- （综合）设 \(G\) 为 \(|G|=24\) 的群，若 \(n_{3}=1\)，说明 3-Sylow 子群具有什么性质？（提示：唯一意味着正规）
下一讲预告
第 17 讲：Sylow 定理 II——完整证明 Sylow 第二定理（所有 p-Sylow 子群共轭）与第三定理（\(n_p\mid m'\)，\(n_p\equiv 1\pmod p\)），并给出更多应用实例。